#include <stdio.h>
#include "cHeader.h"

void print(int i) {
	printf("CHeader %d\n", i);
}